Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
991	PDF Document Add to Reading List Source URL: www.teacherled.com Language: English - Date: 2009-10-05 13:23:49 Computing CLU Programming language theory Software engineering
992	Sheet Instruction 1iii The year that the first Nobel prize was A awarded Add to Reading List Source URL: www.teacherled.com Language: English - Date: 2011-01-09 17:47:57 Programming language theory Software engineering Mathematics Models of computation Mental arithmetic CLU Subtraction 1089
993	Flexible Type Analysis∗ Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Programming language theory Mathematics Type constructor Recursive data type Type system Turn Ordinal number Curry–Howard correspondence Type theory Mathematical logic Data types
994	Functional Java Bytecode Christopher League Valery Trifonov Zhong Shao Yale University Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 Data types Java programming language Cross-platform software Java virtual machine Java bytecode Lambda calculus Javac Type system Subtype polymorphism Computing Software Type theory
995	Dependently Typed Programming with Singletons Richard A. Eisenberg Stephanie Weirich University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:08 Programming language theory Data types Functional programming Functional languages Generalized algebraic data type Type class Algebraic data type Haskell Generic programming Software engineering Type theory Computing
996	Implementing Typed Intermediate Languages Zhong Shao Christopher League Stefan Monnier Yale University Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 Procedural programming languages Functional programming Type theory Functional languages International Conference on Functional Programming Data types Standard ML of New Jersey Torneos y Competencias ML Software engineering Computing Programming language theory
997	It is Time to Mechanize Programming Language Metatheory? Benjamin C. Pierce1 , Peter Sewell2 , Stephanie Weirich1 , and Steve Zdancewic1 1 Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: vstte.ethz.ch Language: English - Date: 2005-10-11 03:37:08 Formal methods Automated theorem proving Logic in computer science POPLmark challenge Programming language theory Formal sciences QED manifesto Nqthm Theoretical computer science Mathematics Logic
998	slide 1 gaius Lecture 1: Setting the scene and overview in this module we will be using C++ as the programming language and Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:33:42 Programming idioms Recursion Computability theory Subroutines Theoretical computer science Fibonacci number Functional programming D C Computer programming Software engineering Computing
999	IRRIFLOW I500 DISPLAY FLOW RATE Your meter has an LCD screen with four buttons. Add to Reading List Source URL: statewater.com.au Language: English ML Programming language theory Software engineering Computing
1000	PolyAML: A Polymorphic Aspect-oriented Functional Programming Language Daniel S. Dantas Geoffrey Washburn Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Type theory Aspect-oriented software development Aspect-oriented programming Data types Functional languages Pointcut Generalized algebraic data type Standard ML Type system Software engineering Software development Computing